Informal Introduction to ALGOL 68.

A One Pass Algorithm for Compiling ALGOL 68 Declarations

A Space-Saving Technique for Assigning Algol 68 Multiple Values

The undghtforward way of elaborating an assignation d :its in an ALGOL 68 implementation is (1): • elaborate the destination d and the source s, yielding a name N and a value V; • assign fire value V to the Elaine N. In many cases, the elaboration of s will consist of the ovation of a copy on the working stack of an already existing value V. This value is assigned to N by copying it once more i...

Informal Introduction to Petri Nets

On the Transformational Derivation of an Efficient Recognizer for Algol 68

During the sixties two level van Wijngaarden grammars (2vwg) were introduced for the formal definition of Algol 68. Two level van Wijngaarden grammars provide a formalism suited for writing rigorous formal definitions which read like human prose. Both the context free and context sensitive syntax of Algol 68 are defined in 2vwg. However, the specification is not executable. The Extended Affix G...

The Formal Termination Problem for Programs with Finite ALGOL 68-Modes

In f 1 l] the importance of the formal termination problem for a high level programming language has been pointed out. If this problem is algorithmically solvable, then the translator is at least principally able to check whether certain properties closely related to termination like macro property of programs or nonrecursivity or block behaviour of procedures are fulfilled and then to produce ...